2

Implicational (semilinear) logics I: a new hierarchy

Year:
2010
Language:
english
File:
PDF, 694 KB
english, 2010
3

The Proof by Cases Property and its Variants in Structural Consequence Relations

Year:
2013
Language:
english
File:
PDF, 461 KB
english, 2013
5

A Note on Natural Extensions in Abstract Algebraic Logic

Year:
2015
Language:
english
File:
PDF, 201 KB
english, 2015
6

A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS

Year:
2015
Language:
english
File:
PDF, 389 KB
english, 2015
8

Implicational (semilinear) logics III: completeness properties

Year:
2017
Language:
english
File:
PDF, 661 KB
english, 2017
9

Neighborhood semantics for modal many-valued logics

Year:
2017
Language:
english
File:
PDF, 678 KB
english, 2017